Logic optimization - PDFSEARCH.IO - Document Search Engine

Logic optimization
Results: 335

#	Item
11	A DESCRIPTIVE TITLE, NOT TOO GENERAL, NOT TOO LONG Markus P¨uschel Department of Computer Science ETH Z¨urich Z¨urich, Switzerland The hard page limit is 6 pages in this style. Do not reduce font size or use other tri Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2013-09-09 04:58:26 Sorting algorithms Computing Data processing Mathematics Algorithm Mathematical logic Theoretical computer science Sorting Sort Computational complexity theory Program optimization Selection algorithm
12	A Mathematical-Algorithmic Approach to Sets: A Case Study Judith Gal-Ezer1 Orna Lichtenstein2 April 1996 Abstract The aim of this paper is to show, by means of a mathematical example, how Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2004-09-27 01:19:28 Mathematics Mathematical logic Science and technology Theoretical computer science Algorithm Computational complexity theory Mathematical optimization Word problem Algorithm characterizations
13	Query Optimization for Semistructured Data using Path Constraints in a Deterministic Data Model Peter Buneman University of Pennsylvania Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:14 Theoretical computer science Operations research Logic in computer science Mathematical optimization Rewriting Mathematics
14	Optimal Top-K Query Evaluation for Weighted Business Processes Daniel Deutch Tel Aviv University Tova Milo Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2010-09-20 08:07:02 Mathematics Routing algorithms Combinatorial optimization Search algorithms Algorithm Mathematical logic Theoretical computer science Applied mathematics A* search algorithm
15	© 2015 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new Add to Reading List Source URL: www.eeh.ee.ethz.ch Language: English - Date: 2015-11-23 08:56:12 Operations research Theoretical computer science Algorithm Mathematical logic Mathematical optimization Mathematics Applied mathematics Markov models Philosophy of mathematics
16	CrossMark_Color_Stacked_p Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-10-29 00:52:29 Mathematics Applied mathematics Logic Constraint programming Operations research Algorithm Mathematical logic Theoretical computer science Simulated annealing Local search Mathematical optimization Compactness theorem
17	Sequential Encodings from Max-CSP into Partial Max-SAT⋆ Josep Argelich1 , Alba Cabiscol2 , Inˆes Lynce3 , and Felip Many`a4 1 2 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Theoretical computer science Logic in computer science Combinatorial optimization Maximum satisfiability problem Unit propagation Constraint programming Mathematics Mathematical logic
18	JOURNAL OF TVCGAutomatic Constraint Detection for 2D Layout Regularization Add to Reading List Source URL: peterwonka.net Language: English - Date: 2015-11-20 08:11:15 Constraint programming Mathematical optimization Constraint Regularization Analysis Constraint satisfaction Mathematics Applied mathematics Constraint logic programming
19	at e d Luis Ceze * Easy to ed Add to Reading List Source URL: synapse.uwplse.org Language: English - Date: 2016-01-19 16:03:46 Mathematical optimization Operations research Symbol Candidate solution Model theory Algorithm Logic Mathematics Abstraction
20	Convergence of Hypervolume-Based Archiving Algorithms II: Competitiveness Submission to GECCO Track “Evolutionary Multiobjective Optimization (EMO)” ABSTRACT We study the convergence behavior of (µ + λ)-archiving a Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-01-03 06:45:34 Mathematics Algorithm Mathematical logic Theoretical computer science Mu Greedy algorithm Online algorithm Discrete mathematics

UPDATE